Correct. If , then when and when , so this function works.