User blog comment:Emlightened/Little Bigeddon/@comment-24061664-20170117003234/@comment-24061664-20170117092849

I see. We can use as many free variables as possible so there are infinite formlae. However Emlightened says there are "boundedly many" n-ary formulae. Is it because for cutting down the free variables the rank needs to be lowered?