Hurford_disjunction loading ...