I think the naming here is a bit strange, this should be named v1 (it is a VectorClock)