Update p01.tex