es1
     
     \z. ( ((\x. \x. y x) x) (v \z. \w. v) )
                  ^  | |  |   |         |
                  |__|_|  |   |         |
                     |    |   |         |
                    lib. lib.lib.      lib.