How to teach someone how to prove something | Hacker News Reader