 Finally, a genuinely logical consequence relation ought to enable us to reason by cases. So, it should satisfy a principle called distribution: if a formula \(p\) follows defeasibly from both \(q\) and \(r\), then it ought to follow from their disjunction. (To require the converse principle would be to reinstate monotonicity.) The relevant principle is this: