Let me just copy and paste that. We already established this is the same thing as two to the x to the third power. Copy and paste it just like that. And then let me just close it with a dx. So I was able to get it in terms of e as a base. That makes me a little bit more comfortable, but it still seems pretty complicated. But you might be saying, well, okay, look, maybe u substitution could be at play here because I have this kind of crazy expression, x to the third times the natural log of two, but what's the derivative of that?