User blog comment:Denis Maksudov/Fundamental sequences for extended Veblen-function/@comment-5529393-20170225185518/@comment-28606698-20170225195752

I think that in general case normal form can include functions with any number of arguments, even one,

what if

May be we should write after the expression (1):

if $$n_k=1$$ then use rule for single argument form to assign FS for last term, otherwise use rules 2.1-2.5 to assign FS for last term.