Describir: Proof theory