Title: Rational typewriting