theorem the_disagreement_is_moral
theorem the_disagreement_is_moral
(logic_is_actual : LogicIsActual)
(pap : A AlternativePossibilitiesRequired)
(suff : A SelfSourcingSuffices)
⋯3 more premises
: False