On “trivial” in mathematics | Dark Hacker News