That's this stuff right over here. And then two x times dx. Remember, you could just view this as two x times x squared plus one to the third power times dx. So two x times dx, well two x times dx, that is du. So that and that together, that is du. Now an interesting question, because this isn't an indefinite integral. We're not just trying to find the antiderivative.