Email Record: Models, algebras, and proofs :