prederivation

not defined yet