Let formula_146 be a formula that quantifies only over sets, contains no free variables other than formula_220, and may contain relations, special classes, and operations defined by formulas that quantify only over sets.