Email Record: Formal verification :