The Prover, the Skeptic, and the Judge | Hacker News Reader