There are two kinds of theorems | Hacker News Reader