В статье «Кванторы и пропозициональные установки» (1956) Куайн показал, что наивная теоретико-модельная формализа­ция аскрипции мнений de re в некоторых случаях (таких, как описанный им случай Ральфа) порождает два нежелательных эффекта: 1) кажущуюся противоречивость системы мнений, приписываемых рациональному агенту; 2) противоречивость некоторых аскрипций мнения, которые, однако, представля­ются хорошо обоснованными. В обсуждаемой статье Доманов утверждает, что теоретико-доказательственная формализация аскрипций мнения предотвращает эти эффекты. Я показываю, что этот тезис ошибочен, поскольку используемый им метод формализации приводит к воспроизведению как минимум первого из них. По моему мнению, это обусловлено тем, что при определении функции расширения контекста Доманов отождествляет переменные из разных контекстов.