incorporating changes from introduction.tex