added FormulaTest and Formula init functions