TEST_INVARIANTS