Changes in overview.tex and introduction.tex