IMPLICIT DIFFERENTIATION