derivation explanation