5.04 - Implicit Derivation Applications