Methods of Proof – Diagonalization | Dark Hacker News