A paxos implement.