>>574
λxy.syx ((λxy.yx) en) (λxy.yx) ih)