Added proposal.tex