Proof algebra