(Donde T y F son las transformaciones de las definiciones convencionales en cálculo lambda de verdadero y falso, "λx"."λy"."x" y "λx"."λy"."y".