Renamed p3.tex to proposal.tex