> > I think it's reasonable to specify that write and put-datum are not > > permitted to use a representation that coincides with any other > > datum, but again we probably need a motion for that. (I so move, in > > fact. Is there a second?) > > Yes. (Sorry, I missed this earlier.) Okay, if there are no objections, let's do it. Kent