Title: Why Prove it Again?
Subjects: Proof theory