 Theorem (List and Pettit 2002): If \(\{p, q, p\wedge q\} \subseteq X\) (where \(p\) and \(q\) are mutually independent propositions and ‘\(\wedge\)’ can also be replaced by ‘\(\vee\)’ or ‘\(\rightarrow\)’), there exists no judgment aggregation rule satisfying universal domain, collective rationality, anonymity, and systematicity.