So that makes sense that that derivative is zero. And so we still have the derivative of five x. And remember, it should have been negative five x or minus the derivative of five x. And let's see what she does here. So that zero disappears, and now she takes the constant out. And that's true. The derivative of a constant times something is equal to the constant times the derivative of that something.