Rerun arith test again: removed extra clause (no, not the same).