gwern comments on Rational = true?