unsingularness
not defined yet