Ruled_variety loading ...