We read the Leslie Lamport papers