Update proposal3.tex