The proposition It is not the case that A has will then be expressed by and it will then be natural, in accordance with the last convention to express the proposition that any proposition which denies of a given thing that it has entails the proposition, with regard to the thing in question, that it has, by xP entails xQ.