For, though these three sorts of substances, as we term them, do not exclude one another out of the same place, yet we cannot conceive but that they must necessarily each of them exclude any of the same kind out of the same place: or else the notions and names of identity and diversity would be in vain, and there could be no such distinctions of substances, or anything else one from another.