Update cp07.tex