Email Record: Formal Methods :