Be more careful about invariance reasoning on "store" queries. Stores still need