No, you didn't misread it. You can see the example for yourself in the paper. It's Section 2 here: http://research.microsoft.com/en-us/um/people/lamport/pubs/p

No, you didn't misread it. You can see the example for yourself in the paper. It's Section 2 here: http://research.microsoft.com/en-us/um/people/lamport/pubs/proof.pdf http://research.microsoft.com/en-us/um/people/lamport/pubs/p...