2.3.3. Vector Clock