User blog comment:Wythagoras/Buchholz hydra/@comment-1605058-20130828182749/@comment-1605058-20130829160958

Oops, never mind, I thought extended hydras can have labels of sort +1, but now I see it won't appear in hydra reduction at any point.