 We now let expressions of form ‘\(e_k\)’ act as variables that range over the possible outcomes of condition \(c_k\)—i.e., \(e_k\) ranges over the members of \(O_k\). As before, ‘\(c^n\)’ denotes the conjunction of the first n test conditions, \((c_1\cdot c_2\cdot \ldots \cdot c_n)\), and ‘\(e^n\)’ represents possible sequences of corresponding outcomes, \((e_1\cdot e_2\cdot \ldots \cdot e_n)\). Let’s use the expression ‘E\(^n\)’ to represent the set of all possible outcome sequences that may result from the sequence of conditions c\(^n\). So, for each hypothesis \(h_j\) (including \(h_i)\), \(\sum_{e^n\in E^n} P[e^n \pmid h_{j}\cdot b\cdot c^{n}] = 1\). 