checkpoint: why paxos lean a value from other in a simple  instruction?