 Suppose the evidence stream \(c^n\) contains only experiments or observations on which \(h_j\) is fully outcome-compatible with \(h_i\)—i.e., suppose that for each condition \(c_k\) in sequence \(c^n\), for each of its possible outcomes possible outcomes \(o_{ku}\), either \(P[o_{ku} \pmid h_{i}\cdot b\cdot c_{k}] = 0\) or \(P[o_{ku} \pmid h_{j}\cdot b\cdot c_{k}] \gt 0\). In addition (as a slight strengthening of the previous supposition), for some \(\gamma \gt 0\) a number smaller than \(1/e^2\) (\(\approx .135\); where e’ is the base of the natural logarithm), suppose that for each possible outcome \(o_{ku}\) of each observation condition \(c_k\) in \(c^n\), either \(P[o_{ku} \pmid h_{i}\cdot b\cdot c_{k}] = 0\) or 