Taking Formulas to the Next Level