That is to say, this proposition asserts that between the two properties not having and other than, there holds that relation which holds between the property being a right angle and the property being an angle, or between the property red and the property coloured, and which we express by saying that, in the case of any thing whatever, from the proposition that that thing is a right angle it follows, or is deducible, that it is an angle.