undegeneracy
not defined yet