ex08.tex