undegenerate
not defined yet