y, cuando formula_219 es verdadera, formula_491, formula_492 son