import Lambda;

id = lambda x. x;
lambda s. lambda z. (s s z);
tru = lambda t. lambda f. t;