RE: Draft datatypes message

>
> It seems to me that we would not want B and C to be yes. We
> would want B
> alone to be yes. It would be helpful to explicitly state that this is
> not possible.
>

this is a good point, and it might be worth pointing out that B' where
both properties have sensible range constraints is true in all systems
we have devised.

Jeremy

Received on Friday, 21 June 2002 11:06:36 UTC