arithmetical comprehension