 It turns out that the value of \(\EQI[c_k \pmid h_i /h_j \pmid b_{}]\) cannot be less than 0; and it must be greater than 0 just in case \(h_i\) is empirically distinct from \(h_j\) on at least one outcome \(o_{ku}\)—i.e., just in case it is empirically distinct in the sense that \(P[o_{ku} \pmid h_{i}\cdot b\cdot c_{k}] \ne P[o_{ku} \pmid h_{j}\cdot b\cdot c_{k}]\), for at least one outcome \(o_{ku}\). The same goes for the average, \(\bEQI[c^n \pmid h_i /h_j \pmid b]\).