Update PE09.tex