基本保証はリソースをきっちり管理できてる
強い保証は「成功」か「失敗したけど、完全に失敗前の状態にもどる」のどちらかしか起こらない