plausible sketch of store invariance