did some stuff on Paxos algorithm homework