Finite_set loading ...