Email Record: Applying formal methods :