VectorClockSpec created