 Baumgartner proposes a solution. The complex regularity for an effect must be necessary for that effect in a minimal way. \(B\) is instantiated only if \(C\) or \(E\) is instantiated. Hence, \(C \lor E\) is necessary for \(B\). And the left side of the complex regularity  (1)  contains no other disjunction—obtained by removing one disjunct—which is necessary for \(B\). There are only two candidates. \((A \land \neg D) \lor C\) is not necessary because \(B\) can be instantiated along with \(E, \neg C\), and \(A \land D\). Similarly, \((A \land \neg D) \lor E\) is not necessary because \(B\) can be instantiated along with \(C,\) \(\neg E\) and \(A \land D\). Hence, \(B \rightarrow C \lor E\) and no disjunct can be removed from \(C \lor E\) such that the implication still holds. In this sense, \(C \lor E\) is a minimally necessary disjunction of minimally sufficient clusters for \(B\).