Anaphoric demonstratives and mutual knowledge