prederive
not defined yet