Definitions: