Let us return, for a final sweeping ohservation, to our first test of refer ential opacity, namely, failure of substitutivity of identity; and let us sup pose that we are dealing with a theory in which a logically equivalent formulas are terchangeable in all contexts salva veritate and (h)