• Definitions