Title: Supervision of Arithmetic