semejantemente, la versión original de la transformación "T"[ ] transformó la función identidad "λf"."λx".("f" "x") en (S (S (K S) (S (K K) I)) (K I)).