User blog comment:Googleaarex/Factorial N-ational/@comment-24509095-20140921131516/@comment-25371339-20140921145009

Q0,1(n) = QQ Q Q Q Q Q Q Q ...(n) (n) (n) (n) (n) (n) (n) (n) (n) with n layers

Q1,1(n) = the largest number bigger than Q0,1(n) that can be made with a function larger than Q0,1(n), that can be based on Q0,1(n), but CAN'T be an extension of Q0,1(n).

QQ 0,1,1 (n) = QQ Q Q Q Q Q Q Q ...(n) (n) (n) (n) (n) (n) (n) ,1 (n) with n layers

Q0,2(n) = QQ Q ... Q Q 0,1,1 ,...,1 ,1 ,1 (n) w/ n layers

Limit is QQ Q ...Q Q Q 0,1(n) (n) (n)... (n),2 (n),2 (n), or something like that.