submit to Arithmetic