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