[spec] implicit differentiation