proposal.tex