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

It's your call.