 where \(\ulcorner A\urcorner\) is a name of a sentence of the object language, and \(B\) its translation in the metalanguage. If the metalanguage is identical with the object language, or is an extension of the object language, \(B\) is simply \(A\) itself, and the T-equivalences are of the form: