This could be 5. This could be a million. This could be a googol. This could be any crazy number. But the derivative of this is still going to be cosine x. So when I say that we have to find an antiderivative, I'm just saying, look, we just have to find one of the derivatives. Sine of x is probably the simplest, because in this case, the constant is 0.