Remark 3: Adding negation to this picture creates the same difficulties as we saw above in the case of definites. In certain cases, [not P] can be defined in terms of [P] and non-overlap. But in general, [P] and [not P] should be separately specified.