Email Record: Principles of distributed systems :