Proper_complexity_function loading ...