project-proposal3.tex: has 'Substantialness' section removed