User blog comment:Wythagoras/Buchholz hydra/@comment-5029411-20130902145548/@comment-5150073-20130902152451

Clarify, clarify and yet clarify! When you just post a random pile of symbols your comment may be deleted.