Update 07-final.tex