Email Record: Semantics and logics of computation /