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

It has nothing to do with whether something can reduce, it has to do with what it is equal to.