Rational_variety loading ...