proper_function