On Proving Stuff, Part 1 | Hacker News Reader