Lamport ha dicho: