Rational Informatics