Update 09_applications.tex