Finally have a working vector clock example...next, need to prove it's correct