User blog comment:Wythagoras/FGH Dollars Function/@comment-5150073-20130710141251/@comment-7484840-20130710162837

I know it would change the definition slightly, and mean that there would be 1 more nest than before, but because w+1 is a successor, then we could specify, for example, whether the innermost nest should be 1 or psi(O^O) in my example, which is necessary for the definition to be complete.