1.3.5.3. Vector Clock