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

[Pavitra]

>       * <x> UNLESS <y>: <x> IF <not-y>.

It makes more sense to me to say IFF than IF here. That seems to be
how 'unless' is generally used in the current rules.