generalize aborting and committing