nondegenerately

not defined yet