 The leading idea for what might replace the T-schema points to two sorts of ‘rules’ (e.g., two sorts of ‘inference rules’ in some sense) or principles that are characteristic of the truth predicate. If you have a sentence \(A\), you can infer \(\Tr(\left\ulcorner A\right\urcorner)\), that is, you can ‘capture’ \(A\) with the truth predicate. Conversely, if you have \(\Tr(\left\ulcorner A\right\urcorner)\), you can infer \(A\), that is, you can ‘release’ \(A\) from the truth predicate. In some logics, capture and release wind up being equivalent to the T-schema, but it is often helpful to break these up: