λ-5λg. (λx. g (x x)) (λx. g (x x))