User blog comment:Vel!/Nested Buchholz hydra/@comment-5029411-20131224222234/@comment-1605058-20131224231008

Surprise surprise, it is! The definition has many holes, though. Look here: Talk:Aarex hydra