Email Record: Essential formal semantics /