Template:Ext links: Proof theory