User blog comment:Pellucidar12/Salad Number!/@comment-25337554-20161113034838

And of course N10 is undefined because this is Googology Wiki.