Filled VectorClock specification