formula_42 a formula_43