-

“DECIDE -> COMMIT -> SUCCEED”