Update IntroductoryDefinitions.tex