 (for a given small \(\gamma\) of interest), one may disjunctively lump \(o_{ku}\) together with some other outcome sentence \(o_{kv}\) for \(c_k\). Then, the antecedent condition of the theorem will be satisfied, but with the sentence ‘\((o_{ku} \vee o_{kv})\)’ treated as a single outcome. It can be proved that the only effect of such “disjunctive lumping” is to make \(\bEQI\) smaller than it would otherwise be (whereas larger values of \(\bEQI\) are more desirable). If the too strongly refuting disjunct \(o_{ku}\) actually occurs when the experiment or observation \(c_k\) is conducted, all the better, since this results in a likelihood ratio 