 Another response would be to object that ‘because’ creates an opaque context – that is, the kind of context within which one cannot substitute co-referring expressions and preserve truth. However, for this to work, ‘because’ must create an opaque context of the right kind. In general, we can distinguish two kinds of opaque context: intensional contexts, which allow the substitution of necessarily co-referring expressions but not contingently co-referring expressions; and  hyperintensional  contexts, which do not even allow the substitution of necessarily co-referring expressions. If the inference from (6) and (7) to (8) is to be successfully blocked, it is necessary that ‘because’ creates a hyperintensional context. A proponent of the correspondence objection might try to argue that while ‘because’ creates an intensional context, it does not create a hyperintensional context. But since a hyperintensional reading of ‘because’ has become standard fare, this approach remains open to a deflationist and is not an ad hoc fix.