And finally there are quandaries over the referential opacity of the idioms of propositional attitude: quandaries having to do with the substitutivity of dentity, and with quantifying into opaque contexts.