El resultado será válido para las dos ramas.