first commit of Proposal.tex