Update plan2.tex