Paxos, Distributed Systems, Consensus.
holds, the athlete‘s proposal always contains the previous year’s winners. An exception is Season 1, where is no previous season. (P2b) Because 2 holds, judges would always acknowledge previous season winners. Hence, the majority would agree on the history of the records. (P2a) Because 3 holds,