Update Proposal.tex