derivation

not defined yet