 Each individual \(i \in N\) has a judgment set \(J_i\), defined as a subset \(J_i \subseteq X\) and interpreted as the set of propositions that individual \(i\) accepts. A judgment set is consistent if it is a logically consistent set of  propositions[12]  and complete (relative to \(X)\) if it contains a member of every proposition-negation pair \(p, \neg p \in X\).