User blog comment:Revilo30703/Knuth's Up Arrow Infinite Expantion/@comment-5883141-20160123014850/@comment-27659163-20160123212538

Should I do it in this blog post or new one do you think?