Moving summary into proposal.tex