Well, there's a couple of ways to think about it. You could say the derivative of sine of x is cosine of x, but you're now dividing by the derivative as opposed to multiplying by it. But more interesting, you could say the derivative of cosine of x is negative sine of x. 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.