Updated proposal.tex