[polyml] Re: polyml digest, Vol 1 #64 - 2 msgs