Normal_variety loading ...