Update 6.tex