And then negative y squared squared is plus y to the fourth. And then from that, we are going to subtract this thing squared. We are going to subtract this business square, which is going to be 4 minus 4 square roots of y plus the square root of y squared is just going to be y. 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.