 Horwich considers the instances of (E) to constitute the axioms of both an account of the property of truth and an account of the concept of truth, i.e., what is meant by the word ‘true’ (ibid., 136). According to minimalism, the instances of (E) are explanatorily fundamental, which Horwich suggests is a reason for taking them to be necessary (ibid., 21, n. 4). This, combined with his view that the equivalence schema applies to propositions, places his minimalism in position \(\mathbf{D}\) in the chart given in Section 1.1. The instances of (ES-prop) are thus explanatory of the functioning of the truth predicate (of its role as a de-nominalizer of ‘that’-clauses (ibid., 5)), rather than being explained by that functioning (as the analogous equivalences are for both disquotationalism and prosententialism). Moreover, Horwich (ibid., 50, 138) claims that they are also conceptually basic and a priori. He (ibid., 27–30, 33, 112) denies that truth admits of any sort of explicit definition or reductive analysis in terms of other concepts, such as reference or predicate-satisfaction. In fact, Horwich (ibid., 10–1, 111–2, 115–6) holds that these other semantic notions should both be given their own, infinitely axiomatized, minimalist accounts, which would then clarify the non-reductive nature of the intuitive connections between them and the notion of truth.