 Other quantifier principles, which govern the move of a quantifier from the inside of a formula to governing the entire formula, so called “quantifier containment principles” are also derived as theorems in ∗10. Some that are often used in later numbers are: