Update Lamport79: how to make ...