forget vector clocks, we have object clocks now