Update proposal2.tex