Email Record: Full abstraction and semantic equivalence /