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

Alright, I'm intruiged.