Added toString() to Formulas