Por ejemplo, supóngase que un lenguaje dispone de una expresión que puede producir un valor y también dispone de un enunciado condicional que evalúa una expresión para obtener un valor de verdadero o falso.