Blunder

[Marty Lederman]

It was only a matter of time, I suppose, before I succumbed to this common
error: That last post, of course, was not intended for the list.  My sincere
apologies to all.

Marty