Polyarithmetic view 1