update proposal.txt