User blog comment:LittlePeng9/FORMAL comparison of Hydra battles and Hardy hierarchy/@comment-5529393-20141016225656/@comment-1605058-20141017050603

Looks right. By the way, do you think we can extract some upper bounds out of this? Right now this problem simplifies to bounding modified HH in terms of standard HH.