Update 18.01 summary.tex