Email Record: Understanding formal methods /