undegenerating
not defined yet