Rational instance