A disjunction of all conjunctions of most of them.