 We can learn another lesson from this example. Relative to the legal doctrine, the majority judgments are logically inconsistent. Formally expressed, the set of majority-accepted propositions, \(\{p, q\), not r\(\}\), is inconsistent relative to the constraint \(r\) if and only if \((p\) and \(q)\). This observation was the starting point of the more recent, formal-logic-based literature on judgment aggregation.