arb: more tests, negation operators.