On Fri, 2009-08-28 at 09:45 -0600, 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. Err, no it doesn't.
"If X then Y" implies nothing about the truth value of Y if X turns out to be true. -- ais523
