User blog comment:Vel!/Nested Buchholz hydra/@comment-1605058-20131224104241

Just for clarification - what is an empty hydra? Is it root-only tree?