Hurford_disjunction