====== Derivation ======