User blog comment:Antares.I.G.Harrison/Hello back/@comment-3427444-20150629135911

Welcome back. (I should do some actual work on the Korean Googology Wiki.)