Please note that a great deal of this material was ported over from the Vector Clocks theory doc, which explains why so much was removed from that doc (as you'll see below)