 For the issue of revenge, the key problem is simply that the paracomplete approach cannot accurately state its own solution to the Liar. Just what to make of this has been debated. It is certainly the case that the set of true sentences in the kind of model Kripke constructs does not include \(\neg \Tr(\left\ulcorner L\right\urcorner)\). Because of this, some authors, such as McGee (1991), T. Parsons (1984), and Soames (1999) have in effect maintained that the Liar sentence failing to be true is a further fact that is goes beyond what the truth predicate needs to express, and so is immaterial to the success of the solution to the Liar. (Actually, McGee’s view has another aspect, which we discuss in  §4.2.3.)