So this is 20 and then minus negative 12. So this is going to be plus 12, which is going to be equal to 32. Let's do another example where we're going to do the reverse power rule. So let's say that we want to find the indefinite, or we want to find the definite integral going from negative one to three of seven x squared dx. What is this going to be equal to? Well, what we want to do is evaluate what is the antiderivative of this? Or you could say, if this is lowercase f of x, what is capital F of x?