So it's a negative y. So this one right over here is a negative y. And then we have a negative times a negative, which is going to give us a positive 4 square roots of y. So this is going to end up being a positive 4 square roots of y. And actually, just to make it clear, when we take the antiderivative, I'm going to write that as 4y to the 1 half power. And we're going to multiply all of that stuff by dy. Now we're ready to take the antiderivative.