 In response, the revision theory proposes a different way of approaching the semantic properties of the truth predicate. In keeping with our practices here, we may begin with a classical model \(\mathcal{M}_0\) for a language \(\mathcal{L}_0\) without a truth predicate, and consider what happens when we add a truth predicate \(\Tr\) to form the extended language \(\mathcal{L}^{+}_0\). This language has a full self-applicative truth predicate, and so can generate the Liar sentence \(L\).