Статья содержит краткие комментарии по вопросам, затронутым в откликах на статью «Теория типов в семантике пропозицио­нальных установок». Я соглашаюсь, что исходная статья не со­держит новых методов решения проблем пропозициональных установок. Её целью является выработка способа их более удоб­ного и эффективного описания. Теория типов обладает большей выразительностью по сравнению со многими традиционными подходами. Я соглашаюсь также, что связь предлагаемого под­хода с операциями эпистемического субъекта требует прояс­нения, однако это свойство выбранного подхода, но не теории Мартин-Лёфа самой по себе. Что касается интуиционизма тео­рии типов, то она не обязана быть интуиционистской по своей логике, однако для семантики важно, чтобы она сохраняла кон­структивистский характер. Отношения теории типов и интенсио­нальной логики также требуют прояснения. По-видимому, она скорее близка к ситуационной семантике. Критика Е. Борисова и А. Родина вскрывает проблемы понятия функции связи кон­текстов. Важнейшим результатом обсуждения стало понимание того, что вместо этой функции более корректно использовать средства, подобные отношению двойников.