Not part of the model; see my reply to Slider. The assumption is that the first agent has to be consistent (“problem of ambiguity is ignored”), and the final statement (or any other statement) is not equal to the string but to the real claim that talks about however many concepts.
Not part of the model; see my reply to Slider. The assumption is that the first agent has to be consistent (“problem of ambiguity is ignored”), and the final statement (or any other statement) is not equal to the string but to the real claim that talks about however many concepts.