updated to add paxos