update according to review

Author: joemphilips

src/poisoning.md

@@ -54,8 +54,8 @@ Mutexのpoisonは、通常の文脈で語られるRustの安全性とは異な
 Mutexを扱うスレッドがlock中にパニックを引き起こした場合、Mutexの中のデータは変更中
 であった可能性が高く、一貫性を欠いていたり変更が未完了の状態であったりするため、
 そのようなデータを盲目的に扱う危険性に対する安全装置として動作します。
-注意しておきたいのはそのような型が適切に実装されていた場合、メモリ安全性を満たさない
-わけではないという点です。つまるところ、最低限の例外安全性は満たしていなくては
+注意しておきたいのはそのような型が適切に実装されていた場合、メモリ安全性**は**確実
+に満たしているという点です。つまるところ、最低限の例外安全性は満たしていなくては
 ならないということです。
 
 <!--
@@ -70,5 +70,4 @@ Just maybe nonsense.
 として要件を満たさなかったような場合、そのデータ構造を利用するプログラムが作成者の
 意図通りの挙動をするということは考えにくいです。通常とは異なる振る舞いをする
 でしょう。とはいえ、十分に注意すればそのような場合でもその値が**何かに**使える
-可能性はあります。safe**では**あるのです。ただ、それはナンセンスであるということと
-は矛盾しないのです。
+可能性はあります。safe**では**あるのです。ただ、ナンセンスかもしれませんが。