The paradox of the proof | Hacker News Reader