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? Well, that's going to be three x squared times the natural log of two, or three times the natural log of two times x squared. Well, that's just a constant times x squared. We already have a x squared here, and so maybe we can engineer this a little bit to have the constant there as well.