Basic Paxos appears to be working properly now