changed how paxos chooses n for proposals