This predicate will not coincide in extension with the predicate T(x) of the object language, and it is certainly reasonable to suppose that it is really the metalanguage predicate that expresses the 'genuine' concept of truth for the closed off object language; the T(x) of the Note that the metalanguage in which we write this paper can be regarded as containing no truth gaps.