1.1: Definitions