On Thu, 16 Jan 2003, Carl Muckenhoupt wrote: > Aye. Not that it matters, since it's been vetoed already, but just in > case the veto gets changed. Actually, it's been removed from consideration by the author too. So never mind.