Rational_dependence loading ...