 Christopher Hill (2002) attempts to deal with some of the problems that Horwich’s view faces, by presenting a view that he takes to be a newer version of minimalism, replacing Horwich’s equivalence schema with a universally quantified formula, employing a kind of substitutional quantification to provide a finite definition of ‘true thought (proposition)’. Hill’s (ibid., 22) formulation of his account,