We have a positive derivative to being a negative derivative. So we're crossing from being a positive derivative to being a negative derivative. That was our criteria for a critical point to be a maximum point. Over here, we're crossing from a negative derivative to a positive derivative, which is our criteria for a critical point for the function to have a minimum value at a critical point. So a minimum. And I just want to make sure we have the correct intuition. If some function is increasing going into some point, and at that point, we see actually we have a derivative of 0.