Such a proposition is obviously equivalent to the assertion that any pair of propositions which resembles the pair and in respect of the fact that one of them asserts of some particular thing that it has and the other, of the same thing, that it has, stand to one another in a certain relation: