User blog comment:Vel!/1+w/@comment-5982810-20141011212622

"The statement 1+w=w is meaningless in the function (n)[a]. There is no need to either ask this question, and it does not change anything about the way the function operates regardless of what you decide."

I take that back. It DOES matter. If 1+w = w then a substitution would seem legal. However, such a substitution is not allowed anyway. You may only replace "a" within a[n] when it is called. Therefore it never comes up whether 1+w and w can be replaced with each other. In fact, they can't. You would get something different.