Consider a complete network. Modify protocol Central so that with three messages per critical operation, the leader needs only to keep one item of information, instead of the entire set of pending requests. Prove correctness of the resulting protocol.