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. And so we could do it right over here. We could divide by natural log of eight. But we know that the antiderivative of some constant times a function is the same thing as the constant times the antiderivative of that function. So we could just take that on the outside. So it's one over the natural log of eight. So let's write this in terms of u and du.