Awesome! What a great quick read. I've been wanting to start diving into the subject and this is a great intro into reading distributed systems papers.

> For brevity's sake most of the heuristics that led me to find them, together with the proofs that they satisfy the requirements, have been omitted and--to quote Douglas T. Ross's comment on an earlier draft, "the appreciation is left as an exercise for the reader."

this helps keep it concise ;)