underivedness

not defined yet