∞

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