One might not expect occurrences of statements within state ments to be truth functional, in general, even when the contexts are not referentially opaque; certainly not when the contexts are referentially opaque.