And then these cancel out. So that's what we are left with. And so that's the inside of our integral. So we're going to take the integral of this thing, just so I don't have to keep rewriting this thing, from 0 until, if I remember correctly, 3. Yep, from 0 to 3 of this dx. And then we had a pi out front here. We had a pi out front here.