Last modified on April 7, 2009, at 20:06

Law of excluded middle