Basic paxos