Re: 'any' and 'all' compared with the rest of the Report

On 26-Jan-2001, Marko Schuetz wrote:

I don't think we have absolute freedom. Assuming we want

\forall s : bottom \le s

including s = error, then we should also have error \not\le bottom.

You lost me here. Why should we have error \not\le bottom? Why not just error \not\lt bottom? -- Fergus Henderson | "I have always known that the pursuit | of excellence is a lethal habit" WWW: http://www.cs.mu.oz.au/~fjh | -- the last words of T. S. Garp.