Rational instance for Column a and tests