So pause this video and see if you can work through this. All right, now let's do it together. Now some of you might have wanted to solve for y and then use some traditional techniques. But here we have a y squared, and so it might involve a plus or minus square root. And so some of y'all might have realized, hey, we can do a little bit of implicit differentiation, which is really just an application of the chain rule. So let's do that. Let's first find the first derivative of y with respect to x.