User blog comment:Wythagoras/Buchholz hydra/@comment-5029411-20130828214453/@comment-25418284-20130831043019

Rule 3: (...,,X...X^X,) = just make up s hi t.