changes mostly in introduction.tex