Set_theoretic_difference loading ...