Difference_set loading ...