Antiderivative of the negative y is negative y squared over 2. And then the antiderivative of 4y to the 1 half, let's see, we're going to increment. It's going to be y to the 3 halves. Multiply by 2 thirds. We're going to get 8 thirds plus 8 thirds y to the 3 halves. And let's see. Yep, that all works out.