Fully implemented check-rollback structure