Text this: Model theory and arithmetic :