I am reading Lamport\'s Paxos Mode Simple, and I get confused with the meaning "value" here.
Foe example, Lamport says
If a pro