User blog comment:Tomtom2357/Complete Proper Combinators/@comment-10217029-20130713105331/@comment-1605058-20130713110729

But then Aac would mean Aa(Y(Aa)), so we still can't reduce A due to lack of variables.