Changed numeration of formulas