Create Concrete_Formulas