 Moreover, on Horwich’s (ibid., 4, n. 1; Cf. 25, 32–3) understanding, the point of the truth predicate is to provide a surrogate for substitutional quantification and sentence-variables in natural language, so as “to achieve the effect of generalizing substitutionally over sentences … but by means of ordinary [quantifiers and] variables (i.e., pronouns), which range over objects” (italics original). Horwich maintains that the infinite “list-like” nature of minimalism poses no problem for the view’s adequacy with respect to explaining all of our uses of the truth predicate, and the bulk of Horwich 1998a attempts to establish just that. However, Anil Gupta (1993a, 365) has pointed out that minimalism’s infinite axiomatization in terms of the instances of (E) for every (non-paradox-inducing) proposition makes it maximally ideologically complex, in virtue of involving every other concept. (Moreover, the overtly “fragmented” nature of the theory also makes it particularly vulnerable to the Generalization Problem that Gupta has raised, which we discuss in Section 4.5, below.)