U = U(formula_1).