Element 'generalization of formulas'