The antiderivative of negative 2x is negative x squared. So negative, let me do it. So we have negative x squared, and the antiderivative of 3 is just going to be 3x. So plus 3x, and we're going to evaluate it from 0 to 5 halves. So this is going to be equal to 5 plus, and I'll do all of this stuff right over here. I'll do this stuff in green. So when we evaluate it at 5 halves, this is going to be negative 5 halves squared.