editing intro.tex