Sent from my iPhone On Aug 28, 2009, at 8:08 AM, Roger Hicks <pidge...@gmail.com> wrote:
Well, to be honest the whole thing doesn't make sense. comex's arguments only further convinced me that the rule has been broken all along. I retract the above proposal (which wasn't distributable anyway because I forgot II=0) and submit the following, making it distributable:
(Either (X and Y) or (not X)) is logically equivalent to (If X then Y)). So this proposal just adds verbosity, functionally equivalent to striking With Notice in the existing rule. Though, as the present wording seems to be confusing to some, perhaps verbosity is a good thing...
