Simple PAXOS protocol