changed name to proposal.tex