more on implicit differentiation, differentials