In order to avoid the awkwardness of qualifying every statement about save with the phrase “unless the operation occurs within a transaction” we simply assume the absence of transactions throughout most of the specification and note the qualification here.