 In response to this, one might argue that the challenge to show that the best explanation is always or mostly among the hypotheses considered can be met without having to assume some form of privilege (see Schupbach 2014 for a different response, and see Dellsén 2017 for discussion). For given the hypotheses we have managed to come up with, we can always generate a set of hypotheses which jointly exhaust logical space. Suppose H1,…,Hn are the candidate explanations we have so far been able to conceive. Then simply define Hn+1 := ¬H1 ∧ … ∧ ¬Hn and add this new hypothesis as a further candidate explanation to the ones we already have. Obviously, the set {H1,…,Hn+1} is exhaustive, in that one of its elements must be true. Following this in itself simple procedure would seem enough to make sure that we never miss out on the absolutely best explanation. (See Lipton 1993, for a proposal along these lines.)