Implent correct Lamport time; using Lamport time in log