Play E2E: Erik Meijer and Leslie Lamport - Mathematical Reasoning and Distributed Systems