User blog comment:Nayuta Ito/Does this hydra halt?/@comment-24061664-20161123185016

There should be a matching ordinal where the limit of the ordinal of the hydra is equal to the largest ordinal that can be used as a label. I wonder what the ordinal is.