Updated plan.tex.