Title: Formulas to Be Happy