We argue that anaphora cannot be resolved at the level of the formal language representing meaning, but, rather, by making direct reference to the extension of the sentences. Johnson-Laird’s mental models theory provide the tool for coping with extensional representations in a cognitively plausible way.