 We know this interpretation cannot make true all of capture and release (nor the full intersubstitutability of \(A\) and \(\Tr(\left\ulcorner A\right\urcorner))\). But it does make a restricted form true. The following holds in the closed-off model:  \[ [\Tr(\left\ulcorner A\right\urcorner) \vee \Tr(\left\ulcorner \neg A\right\urcorner)] \rightarrow[\Tr(\left\ulcorner A\right\urcorner) \leftrightarrow A].\]   This tells us that capture and release (in the form of the T-schema) holds for sentences that are well-behaved, in the sense of satisfying \(\Tr(\left\ulcorner A\right\urcorner) \vee \Tr(\left\ulcorner \neg A\right\urcorner)\).