Update 18.02.tex