Consider the composite function formula of example 1 with its free set variables replaced by formula_177 and formula_178: formula_179 The inductive proof will remove formula_180, which produces the formula formula_181 However, since the class existence theorem is stated for subscripted variables, this formula does not have the form expected by the induction hypothesis.