Distributed Systems.
and have two chosen values. Hence, if a chosen value has been in the network, the proposer must choose/ propose that same value. Hence we need to put a check on acceptors accepting any value. One way is that before proposing a new value, check and see is a value is not being proposed by anyone yet.