 In these primitives (and those of the two other jury theorems in this section), the correctness events could be replaced by more basic primitives, namely the following random variables: votes (judgments) of the individuals \(1, 2, \ldots,\) whose values are alternatives, and a “state” variable, whose value is, or more generally determines, the correct alternative. Each correctness event \(R_{i}\) is then defined as the event that \(i\)’s vote equals the correct alternative, and the whole analysis stays unchanged. For instance, in a court’s decision problem, the votes of judges could take values in \(\{\text{convict},\text{acquit}\}\) and the state could take values in \(\{\text{guilty},\text{innocent}\}\), where \(\text{convict}\) is correct if the state is \(guilty\), and \(\text{acquit}\) is correct if the state is \(innocent\). Equivalently, and more parsimoniously, votes and state could all take values in \(\{0,1\}\), where \(R_{i}\) is the event that \(i\)’s vote equals the  state.[4]