After converting to a disjunction: