Update introduction.tex