1.5: Definitions