Inverse_function_rule loading ...