Элемент 'generalization of formulas'