User blog comment:Denis Maksudov/The extension of Buchholz's function/@comment-24920136-20170503033436/@comment-28606698-20170503142034

Chronolegends, I'm glad you are taking part in discussion of my post. I added section "Examples of application of normal form" at the end of the post. If you have any more remarks, please, write.