arb file tack on to new invariants
still testing...