nonderivability

not defined yet