2.5 Implicit Derivation