Update 01-Definitions.tex