Flag_variety loading ...