 In sum, all that jury theorems need is the existence of correctness facts of some kind that are process-independent, i.e., independent of the choice of group (size), the deliberation, and the aggregation.