Fundamentally the proper criterion of referential opacity turns on quantification rather than naming, and is this: a referentially opaque context is one that cannot properly be quan tified into with quantifier outside the context and variable inside .