And I'll do a little bit of an aside to review that. So if I'm taking the definite integral from a to b of f of t dt, we know that this is capital F, the antiderivative of F evaluated at b, minus the antiderivative of F evaluated at a. This is essentially corollary to the fundamental theorem, or it's the fundamental theorem part two, the second fundamental theorem of calculus. This is how we evaluate definite integrals. Now, let's think about what the negative of this is. So the negative of that, of a to b of f of t dt, is just going to be equal to the negative of this, which is equal to the negative of F of b minus F of a, which is equal to capital F of a minus capital F of b. All I did is distribute the negative sign and then switch the two terms.