And you could keep doing that type of analysis to feel good about it. In another video, we're going to prove this more rigorously. So now let's think about cosine of x. So cosine of x, right over here, the slope of the tangent line looks like it is zero. And so its derivative function needs to be zero at that point. So hey, maybe it's sine of x. Let's keep trying this.