Comment by cs702

> You can always represent removed state by additional state that represents deletion of whatever preceding state was there.

Good point. Thank you!