Text this: Rational proofs