So the antiderivative of cosine of x is sine of x. Now, why do I keep saying sine of x is an antiderivative? It's not just the antiderivative. Well, I could also take the derivative of sine of x plus any arbitrary constant and still get cosine of x. Because the derivative of a constant is 0. This could be pi. This could be 5.