1.2.5.3. Vector Clock