1.2.5.2. Lamport Clock