On: Algebra and the Lambda Calculus (1993)

[empath75]

It’s still just an infinite series of substitutions.

[kazinator → empath75]

That's a failure to reduce, showing that the reduction by substitution is an incomplete evaluation strategy at best. The Y combinator works under call-by-value and other strategies; you can stick it in production code, if you're so inclined.