VectorialClock added