Added definitions.tex