Leslie Lamport, the implications of the systems we build