Proof by Contradiction door