 Finally, for any class of sequences (elements of the intended model) \(C\), there is a smallest set which contains all elements of \(C\): let \(c_{n+1}\) be the set of terms \(s_n\) of sequences \(s\) belonging to \(C\) at each type \(n\) to construct a sequence \(c\) which will have the desired property.