for derivation