 Relatedly, coreferring names cannot always be substituted salva veritate in the context of a propositional attitude report (Frege 1892). If Daphnis doesn’t know that Hesperus is Phosphorus, then it could be true that