prederive

not defined yet