ok, that makes sense -- are we not able to assume that the store would throw an error if the write is not successful (in the sense of "would be reachable if you tried to load from the store after it returns")?