Added FormulaFragment