Making Sense of Proof by Contradiction [pdf] | Dark Hacker News