Arithmetic conditions