Definitions and their definitions.