How Implicit Differentiation Works