260: Proof by Contradiction