Making Sense of Proof by Contradiction [pdf]