Update intro.tex