Final Lamport quote