There are two kinds of theorems | Dark Hacker News