+2 Lamport, +1 Eisenhower