Finish ARITH