Поэтому, если это тождество вообще действительно, оно действительно с надобностью, в крипкеанском резоне необходимости; Заступник тезиса тождественности, например, что «Боль = такой-то процесс в м, заявляет, что, хотя термины слева и справа от «=» отличаются собственными смыслами, заявляемое тождество тем не менее представляет эмпирическим открытием и образчиком чистенько случайного тождества: короче говоря, что это не необходимая, а эмпирическая случайная, но истина. Но с места зрения Крипке материалистическая позиция оказывается абсолютно невыполнимой: если «Боль = такой-то процесс в мо действительно, то это значит, что «боль» и «такой-то процесс в мозгу» - твердые десигнаторы, у каких один и тот же референт ( объем ).