User blog comment:Vel!/Nested Buchholz hydra/@comment-5029411-20131224222234/@comment-25418284-20131225005114

aarex, if you don't have a complete definition then you can't really say that you've succeeded. i will happily admit defeat when you can, you know, actually define stuff

sorry to be harsh