Distributed Systems, Distributed Algorithms, Algorithms, Paxos, Consensus.
is now a promise that the Acceptor would reject all future proposal requests < x If there are already proposals to which the Acceptor has agreed: compare x to the highest seq number proposal it has already agreed to, say P2(y, v2) If x < y, reply ‘reject’ along with y If x > y, reply ‘agree’ along