So the green area, for the green area, our lower bound of integration is now our constant c. And our upper bound of integration is x squared. It's going to be of cosine t over t dt. And this is a form where if we know how to apply the chain rule, we can apply the fundamental theorem of calculus. And this is almost in a form. We're used to seeing it where the x is the upper bound. And we already know what happens. We can swap these two bounds, but it will just be the negative of that integral.