, I think, be naturally used to express the proposition that, in the case of every pair of propositions which resembles the pair A and A in respect of the fact that the first of the pair asserts of some particular thing that it has and the second, of the same thing, that it has, it is not the case that the first is true and the second false.