 We assume that we have, along with the truth predicate, appropriate names of sentences. For a given sentence \(A\), suppose that \(\left\ulcorner A\right\urcorner\) is a name for it. A predication of truth to \(A\) then looks like \(\Tr(\left\ulcorner A\right\urcorner)\).