Remove key-collision invariant.