ARITHMETIC from