Text this: Predicative arithmetic /