derivativeness

not defined yet