Nonsingular_variety loading ...