And we saw already that the slope is negative as we approach it. So our function is decreasing as we approach it. And then right there, the slope is 0. We figured that out earlier. That's how we identified it being a critical point. And then the slope is increasing after that. The derivative is positive.