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

is your hydra defined