prereductional disjunction