Rolling back changes (cont'd)

The snippet does not meet the strong guarantee
Does it meet the basic guarantee?
We need to rollback changes if any step fails