(λx . x x) (λx . x x)