• Definitions.