 Logics like \(K_3\) suffer from the lack of a natural or ‘suitable’ conditional (in particular, one that satisfies \(A,A \rightarrow B \vdash B\) and \(\vdash A \rightarrow A)\). This reveals a limitation of the Kripkean approach to the Liar. The language \(\mathcal{L}^{+}_0\) cannot report the capture and release properties of truth itself in conditional form (i.e., T-biconditionals): \(\Tr\) is transparent on this picture, and so \(\Tr(\left\ulcorner A\right\urcorner)\) and \(A\) are fully intersubstitutable. We don’t have \(\neg A \vee A\) true for all sentences \(A\) in this theory, and hence don’t have \(\neg \Tr(\left\ulcorner A\right\urcorner) \vee\) A for all \(A\). But \(\neg \Tr(\left\ulcorner A\right\urcorner) \vee A\) is equivalent to \(\Tr(\left\ulcorner A\right\urcorner) \rightarrow A\) in the theory, since (in the theory) \(\rightarrow\) is just the material conditional. The Kripke construction at hand, then, thus fails to enjoy all T-biconditionals—the natural candidates for expressing in the theory the basic capture and release features of truth.