Implicit differentiation inquiry