 The problem of giving a Tarski-style semantics for Henkin’s two languages turned out to be different in the two cases. With the first, the problem is that the syntax of the language is not well-founded: there is an infinite descending sequence of subformulas as one strips off the quantifiers one by one. Hence there is no hope of giving a definition of satisfaction by recursion on the complexity of formulas. The remedy is to note that the explicit form of Tarski’s truth definition in Section 2.1 above didn’t require a recursive definition; it needed only that the conditions on the satisfaction relation \(S\) pin it down uniquely. For Henkin’s first style of language this is still true, though the reason is no longer the well-foundedness of the syntax.