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