 Horwich (ibid., 27–30) maintains that the infinite axiomatic nature of minimalism is unavoidable. He (ibid., 25) rejects the possibility of a finite formulation of minimalism via the use of  substitutional quantification.  On the usual understanding of this non-standard type of quantification, the quantifiers govern variables that serve to mark places in linguistic strings, indicating that either all or some of the elements of an associated substitution class of linguistic items of a particular category can be substituted in for the variables. Since it is possible for the variables so governed to take sentences as their substitution items, this allows for a type of quantification governing sentence positions in complex sentences. Using this sort of sentential substitutional quantification, the thought is, one can formulate a finite general principle that expresses Horwich’s account of truth as follows: