 In the paracomplete case, the issue of whether this suffices has been much debated. The paracomplete view holds that the Liar sentence \(L\) is neither true nor false, and this is key to retaining consistency. But note, the paracomplete approach we discussed above cannot state this fact, as it cannot come out true that \(\neg \Tr(\left\ulcorner L\right\urcorner)\). If this were true, then \(L\) would be true, and then \(\Tr(\left\ulcorner L\right\urcorner)\) would be true, bringing us back to contradiction.