Email Record: Logical Proofs with Equivalences.