More disjunction elimination.