re-added proposal.pdf since it seems to have gotten lost in the merge