Coextensive expressions with different intensions cannot in general be substituted for one another within an expression e while preserving the extension of e (assuming that the extension of a declarative sentence is its truth value).