What makes Leslie Lamport different from most computer scientists, in his own words: https://youtu.be/tcBAOU5C2dY