And I just wanted to show you that the derivative of psi with respect to x, just using implicit differentiation and our standard chain rule, actually gives you the left hand side of the differential equation, which was our version of problem.