Given a formula, the new rules produce an equivalent transformed formula, which the inductive proof in the last section uses to build a class satisfying the given formula.
Given a formula, the new rules produce an equivalent formula of the same type as produced by the old rules. Therefore, the inductive proof in the last section can be used to build a class satisfying the given formula.