These conditions are considered satisfied if, for example: a0c0