15 and 290 theorems | Hacker News Reader