So we actually already found, this is actually a solution to the differential equation. It's y is equal to four is a solution to this differential equation. So y is equal to four. y is equal to four. And you can verify that that is a solution. When y is equal to four, this right-hand side is going to be zero, and the derivative is zero for y is equal to four. So that is a solution to the differential equation.