We will invariant if a doc is not removed from an in memory map, but the in memory map may not contain the doc in the first place.

Instead of having an invariant on the removal, invariant that the document does not exist in the map.