More Lamport and Guindon