• 1.1: Definitions