Email Record: Logics for concurrency :