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

Only remark is that last part was a really good edit!, nothing else to say about it as it stands.