Text this: The consistency of arithmetic :