Email Record: Theory and practice in distributed systems :