On Fri, 28 Aug 2009, Elliott Hird wrote: > 2009/8/28 Roger Hicks <pidge...@gmail.com>: >> (If X then Y) implies (if X then Y else (not Y)) > > Jesus > flippin' > Christ > on > a > pogo > stick > Please tell me this was a typo.
It's true for CANs on regulated things because the default state is not Y.
