How To Define Terms objector properly denies is this: for no possible world is it the case that has a unique realization in but that the first component thereof is not the property named by, in our actual world.