User blog comment:LittlePeng9/First order oodle theory/@comment-30167082-20161222182647/@comment-30167082-20161222231134

LP9: Isn't that the point? One finds the smallest n such that the formula returns true. Find that for ever n-symbol, say FOST, expression and select the largest. Right?