User blog comment:Denis Maksudov/Fundamental sequences for extended Veblen-function/@comment-28606698-20170219140705/@comment-28606698-20170219150730

2.2) I just rewrote normal form for binary Veblen function with  adding s and n. I am not sure it works for function with arbitrary amount of variables. 2.7) I did not test this rule in examples. In case of binary function phi(beta, gamma+1) we should insert phi(beta, gamma)+1 instead gamma+1, but in this case is no zeros  in between beta and gamma. So I am not sure where we should insert it in case of arbitrary amount of variables - I did choice intuitively.