check in ARITH2