gave up maintaining strict_invariant for small updates