First annual Lamport award manuscript