Predicative arithmetic | AbS