Title: Making sure of arithmetic