what they really mean: multi-object atomicity abortability