Email Record: Formal semantics and logic /