Update Proposal/SpecAims.tex