Template:Categories: Proof theory