definitions: