Strictly_increasing_function loading ...