Implemented derivation