nonextraneousness

not defined yet