Optional a -> a (proof-negative by truth table) http://blog.tmorris.net/optional-a-negative-proof/
4:49 AM - 5 Jan 2011
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.