You have to be able to reason about the verification | Hacker News Reader