Update 06.13.tex