derivedness

not defined yet