Completed paxos :)