VectorClocks implemented in whole project.