Verified concurrent writes to separate datastores.