So let's rewrite this. So given what we just figured out, so let me copy and paste that. This is just going to be equal to, it's going to be equal to the antiderivative evaluated at one minus the antiderivative evaluated at zero. We don't have to worry about the constants because those will cancel out. And so we are going to get, we are going to get one, let me evaluate it first at one. So you're gonna get one over the natural log of eight times e to the one to the third power, which is just one, times the natural log of two. Natural log of two, that's evaluated at one.