added chance to add definitions
added def.tex to provide definitions