(i.e., if we need to detect this, it should be at the top of the function.)