User blog comment:Wythagoras/Upper bound on the Buchholz hydra/@comment-25418284-20140507015710/@comment-25418284-20140510194627

Because I don't fully understand it in its current state. That's why I'm asking for formality.