Intermediate Formulas