Update proposal.txt