In sum, he proposed that it must be possible to distinguish a finite number of distinct grammatical features of a language, and for each of them explain its workings in such a way as to generate trivial (obviously correct) statements of the truth conditions of all the (infinitely many) sentences making use of that feature.