(DIR) fulldisjunction