ex07.tex