Expresión de la condición y la hipótesis.