全部実行されるか、全く実行されないかのどちらかであることを保証するだけ。