 Notation: For any jury theorem of the entry, the probability function (of the underlying probability space) is denoted \(P\). Where needed by a jury theorem, the event that individual \(i (=1, 2, \ldots)\) is correct is denoted \(R_{i}\), and for each possible group size \(n\in\{1,2,\ldots\}\) the event that a majority is correct (i.e., that more than half of \(R_{1},\ldots,R_{n}\) hold) is denoted  \(\Maj_{n}\).[2]