Назовем что-то жестким обозначением, если во всех возможных мирах оно обозначает один и тот же объект, нежестким или случайным обозначением, если это не так. Конечно, мы не требуем, чтобы объекты существовали во всех возможных мирах... Когда мы думаем о каком-либо свойстве как о существенном для объекта, мы обычно имеем в виду, что оно верно для этого объекта в любом случае, где бы оно существовало. Жесткий указатель необходимого сущего можно назвать сильно жестким.