But what I want to see is if we get the same exact result when we differentiate implicitly. So let's apply our derivative operator to both sides of this equation. And so let me make it clear what we're doing. x times the square root of y and 1 right over there. When you apply the derivative operator to the expression on the left-hand side, we are just going to have to apply, well, actually we're going to apply both the product rule and the chain rule. The product rule tells us, so we have the product of two functions of x. You could view it that way.