Email Record: Formal methods :