Update proposal/proposal.tex