 Primitives of the Conditional Jury Theorem: correctness events \(R_{1},\) \(R_{2}, \ldots\) and an arbitrary random variable \(\mathbf{x}\) (the facts variable, representing for instance the state or the common causes), all defined relative to a probability space.