Trying with yet another level of vector clock