 If viewed mathematically, jury theorems belong to epistemic social choice theory, a branch of social choice theory (see the entry on  social choice theory).  Social choice theory studies aggregation procedures in groups. Like democratic theory, social choice theory has a procedural and an epistemic branch. Procedural social choice theorists want procedures to be intrinsically “democratic” or “fair” to individuals; they formulate axiomatic requirements on procedures capturing normative principles (such as anonymity or Paretianism) and ask which procedure(s) satisfy  them.[36]  Epistemic social choice theorists instead want procedures to “track the truth”; they formulate some epistemic criterion on outcomes (e.g., high probability of correctness) and analyse procedures in terms of how well their outcomes satisfy the criterion.