 Jury theorems fall into the epistemic camp. What distinguishes them within epistemic social choice is the focus on decision-body size rather than more conventional procedural parameters, such as the acceptance threshold in a supermajority rule or the individual weights in a weighted voting rule. Jury theorems seek to optimize group size given a procedure (e.g., given majority rule), rather than optimizing the procedure given a group size. Procedure optimisation is sometimes possible analytically. The generic finding is that, under a classical independence assumption, the epistemically optimal procedure in binary choices is a weighted (simple, super- or sub-) majority rule in which a voter’s weight is a well-defined increasing function of competence (which becomes negative for competence below \(\frac{1}{2}\)); see, e.g., Nitzan and Paroush (1982), Ben-Yashar and Nitzan (1997), Dietrich (2006), and Pivato (2013). Simple majority rule can be far from optimal; in suitable circumstances, it is optimal if voters are equally competent and options are initially equally likely correct.