In the present case I imagined a hypothetical formal language in which a rigid designator' a' is introduced with the ceremony, 'Let a (rigidly) denote the unique object that actually has property, when talking about any situation, actual or counterfactllal.'