Email Record: Proofs and Proof Writing.