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