Update ch9.tex