nonextraneous

not defined yet