Draft:Implicit differentiation