Stores and invariants