  Stove (1986, 131–144) argued that his more specific version of Williams’s argument (see below) was not subject to the objection, and that the failure of induction in the case of ‘grue’ showed that inductive logic was not purely formal—but then neither was deductive logic.