Limit_point_of_a_set loading ...