Some kind of casual or eventual consistency related invariants perhaps?