Proving 1>0 | Dark Hacker News