initial commit of Proposal.tex