  This is a recursive definition, entirely parallel to the definition of satisfaction of formulae by sequences in the definition of satisfaction for LCC in Tarski’s monograph on truth, that we saw in section 1 above. In the same way that that definition, the one just given can be turned into an explicit one by the same method.