But that's an interesting theory. Maybe the derivative of cosine of x is negative sine of x. So let's plot that. So this does seem to coincide. The derivative of cosine of x here looks like negative one, the slope of the tangent line. And negative sine of this x value is negative one. Over here, the derivative of cosine of x looks like it is zero.