Allowed Implicit Differentiation Wikipedia