For those who may have found the linked article difficult to read, here it is neatly laid out (PDF):

http://delivery.acm.org/10.1145/2740000/2736348/p38-lamport....