And I say that this is equivalent to saying that it may be true that A has, and yet not true that from the proposition that a thing has not got it follows that that thing is other than A numerically different from it.