Nonsingular variety