Klax: A Formal Proof
Tue, 07/14/2009 — Doctor Vink
Proof by transposition:
Assumption: If there is time for Klax, it is the nineties.
Assumption: In any non-90s time, there is no time for Klax.
Assumption: There is now time for Klax.
Therefore, it is the nineties.
QED
©2004-2010 The Andore Seven