Added parameter specifications to Formulas