We require, next, some short and clear method of expressing the proposition, with regard to two properties and, that any proposition which asserts of a given thing that it has the property entails the proposition that the thing in question also has the property.