and substituting in (14), we have

Hence the class

includes all

s which are not-

s, an indefinite number of