 One of Tarski’s key insights is that the apparatus of satisfaction allows for a recursive definition of truth for sentences with quantifiers, though we will not examine that here. We could repeat the recursion clauses for \(\mathbf{L}\) to produce a full theory of truth for \(\mathbf{L}'\).