derivation [pl. derivations]