Allowed Implicit Differentiation