Re: DIS: Re: BUS: proposal: I can has logic?

[Zefram]

Pavitra wrote:
>>       * <x> UNLESS <y>: <x> IF <not-y>.
>
>It makes more sense to me to say IFF than IF here.

In that case I'd say we definitely do need these to be precisely defined.

-zefram