Add disjunction