Ask HN: What Is a Good Hierarchy of Proof? | Hacker News Reader