derivationally

not defined yet