internal disjunction