ARITH is TLE