I try to calculate this lambda expression but I don\'t have a assurance.
(λy.x z) (λx.(a b c) λy.(y x) (λx.x y)) b
when i try from head, x (λx.(a b c)