User blog comment:Vel!/Nested Buchholz hydra/@comment-10429372-20131224094327/@comment-25418284-20131224101530

I see. I do prefer this simpler definition, however.