This is an assertion which is quite certainly true; since, if anything which had not got were identical with, it would follow that and from the proposition it certainly follows that is false, and therefore also that Something which has not got is identical with A is false, or that Nothing which has not got is identical with A is true.