Vivid designators, analogues of the rigid designators in modal logic, are the terms that can be freely used to instantiate quantifications in belief contexts, and that are subject to the substitutivity of identity and, now, to exportation.