disjunction of goals correctly implemented