Methods of Proof - Induction | Hacker News Reader