progress on paxos impl