2.3.2. Lamport Clock