Roger Hicks wrote: > I don't see the equivalence. (If X then Y) implies (if X then Y else > (not Y)) which is why it seems broken to me.
I believe you're confusing "if" with "iff". Do we need to add IF,IMPLIES,SUFFICIENT and IFF,IF AND ONLY IF,NECESSARY AND SUFFICIENT to MMI?
signature.asc
Description: OpenPGP digital signature
