And then all of that dy. Let me write that in that same color. All of that dy. And so this is going to be equal to pi times the definite integral from 0 to 1. And let's see if we can simplify this. We have a positive 4 here, but then when you distribute this negative, you're going to have a negative 4. So that cancels with that.