In other words this method depends on external circumstances for correctness (since dropX implies actually dropping X). We could add the redundant write or make it private.