#disjunction