Text this: Computation and reasoning :