But the construction of a Tarskian truth predicate for LGTC could not be carried out in finite type theory. The relation of satisfaction for LGTC is intuitively a relation among formulae and sequences of: sequences of individuals, sequences of classes of individuals, sequences of classes of classes of individuals, etc. And this relation is not a relation in the hierarchy of finite types. Much less can one quantify in finite type theory over the objects necessary to apply the Tarskian method. One cannot quantify over sequences of: sequences of individuals, sequences of classes of individuals, sequences of classes of classes of individuals, etc.; and one cannot quantify over relations among formulae and sequences of: sequences of individuals, sequences of classes of individuals, sequences of classes of classes of individuals, etc.