We don't have a negative sine of x, but we can do a little bit of engineering. We can multiply by negative one twice. So we could say the negative of the negative sine of x. And I stuck one of the, you could say, negative ones outside of the integral, which comes straight from our integration properties. This is equivalent. I can put a negative on the outside and a negative on the inside so that this is the derivative of cosine of x. And so now this is interesting.