The curious case of broken theorems | Not Hacker News!