Email Record: Proof theory