Universal derivation