Let's try another one. Now we'll do it in blue. Let's tie the antiderivative of, let's make it interesting, let's make it 5 times x to the negative 2 power dx. So how would we evaluate this? Well one simplification you can do, and I haven't rigorously proven it to you just yet, but we know that scalars can go in and out of the derivative operator when you're multiplying by a scalar. So this is indeed equal to 5 times the antiderivative of x to the negative 2 power dx. And now we can just use, I guess we could call it this anti-power rule.