nonsingularity

not defined yet