And this is straightforward. We know what this is going to be. This is going to be equal to, so let me just write the one over natural log of eight out here. One over natural log of eight times e to the u. Times e to the u, e to the u. And of course, if we're thinking in terms of just antiderivative, there would be some constant out there. And then we would just reverse the substitution.