Disjunctive_sum loading ...