Title: Why Prove It Again?
Subjects: Proof theory