Q si elegimos que :formula_10.