Update proposal.tex