Update DEFINITIONS.md