So you have a dx here. You have a dx there. You have an x squared here. You have an x squared here. So really, all we need is, all we need here is the natural log of eight. So if we, ideally, we would have a natural log of eight right over here. And we could put it there, as long as we also, we can multiply by a natural log of eight, as long as we also divide by a natural log of eight.