Email Record: Predicate Calculus and Program Semantics /