Regular_closed_set loading ...