Going Deep E2E: Erik Meijer and Leslie Lamport - Mathematical Reasoning and Distributed Systems 56:11