"Wrangling the complexity of distributed systems shouldn’t mean we trade away basic features like deletion, or accept data structures which can only grow withou

"Wrangling the complexity of distributed systems shouldn’t mean we trade away basic features like deletion, or accept data structures which can only grow without limit." The CALM theorem would like a word with you. You simply can't have consistent non-monotonic systems. Forgetting is ok, deleting is not.