Superadditive_set_function loading ...