Update PE07.tex