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

Fergus Henderson fjh@cs.mu.oz.au
Sun, 28 Jan 2001 01:24:58 +1100

On 26-Jan-2001, Marko Schuetz <MarkoSchuetz@web.de> 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 <fjh@cs.mu.oz.au>  |  "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.