update the intro.tex