MAKING SURE OF ARITHMETIC