So the Y Combinator has given us what we need.

这样，Y组合子给了我们所需要的。