\f . (\x . f (x x)) (\x . f (x x))