Text this: Predicative Arithmetic. (MN-32)