store with exists semantics