tentative disjunction fix