adding partial rollback formalization