Six Ways to Prove What Matters