Paxos executive