Update plan.tex