Abstract_variety loading ...