Reducing formulas