This is the first Lamport paper I read (over 20 years ago now), and it has stuck with me since then, it's so clearly explained...