So we just have to do that right over here. So this is going to be equal to, well, what is the antiderivative of four? Well, you might immediately say, well, that's just going to be four x. You could even think of it in terms of reverse power rule. Four is the same thing as four x to the zero. So you increase zero by one, so it's going to be four x to the first, and then you divide by that new exponent. Four x to the first divided by one, well, that's just going to be four x.