Update chapter9.tex