Limit_point_of_a_sequence loading ...