formula_11 (o formula_12),