 (Technically, it is simplest to put the fixed point property in terms of implications, as we have done here. But intuitively, the idea is that somehow \(L\) ‘just is’ \(\neg \Tr(\left\ulcorner L\right\urcorner)\). This can be made more precise, if we think of the Liar sentence \(L\) arising from a name \(c\) that denotes the sentence \(\neg \Tr(c)\). In this way, we can think of the existence of the Liar as being reflected in the identity \(c = \left\ulcorner \neg \Tr(c)\right\urcorner\). For more on the details of this approach, see Heck 2012.)