The curious case of broken theorems | Hacker News Reader