+4 Lamport