We require, next, some way of expressing the proposition, with regard to two properties and, 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.