Interpretar formula_90 como: "Asumiendo que formula_91, inferire formula_91".