The answer is now apparent: if to a referentially opaque context of a varia ble we apply a quantifier, with the intention that it govern that variable from outside the referentially opaque context, then what we commonly end up with is unintended sense or nonsense of the type.