arith.complete