User blog comment:KthulhuHimself/Norminals Revisited./@comment-5529393-20160710171207/@comment-27014275-20160711052032

Well; what I mean when I say  N <0,2>  quantifies over  any ordinal a or any  value, is that it quantifies over anything using  at all; which goes beyond just  N <<<...<0,1>...,1>,1>,1>. I   should  probably tweak the definition, but I hope you see what I mean.