 where ‘\(\Sigma\)’ is the existential substitutional quantifier. (GT) is formally equivalent to the formulation that Marian David (1994, 100) presents as disquotationalism’s definition of ‘true sentence’, here formulated for propositions instead. Horwich’s main reason for rejecting the proposed finite formulation of minimalism, (GT), is that an account of substitutional quantifiers seems (contra David 1994, 98–9) to require an appeal to truth (since the quantifiers are explained as expressing that at least one or that every item in the associated substitution class yields a true sentence when substituted in for the governed variables), generating circularity concerns (Horwich 1998a, 25–6).