[TBD]Understanding Paxos protocol