User blog comment:B1mb0w/Compact Veblen Notation/@comment-26428969-20151026184148

what's phi(1)? Veblen's function takes at least two arguments