Update 1-intro.tex