put a little thought on paxos