Email Record: Formal modeling :