I just defined psi like this just so I can give you the intuition that when I use implicit differentiation on this, when I take the derivative of this with respect to x, I actually get something that 