Polyarithmetic view 3