"λx".("E" x) es la función que toma un argumento, x, y aplica la función E a él; esto es extensionalmente igual a la función "E" misma.