diff --git a/type-system/exceptions.md b/type-system/exceptions.md
index c6566759..dcccc59d 100644
--- a/type-system/exceptions.md
+++ b/type-system/exceptions.md
@@ -129,7 +129,7 @@ catch(e) {
 }
 ```
 
-しかし、最初のタスクから2番目のタスクに物事を渡す必要がある場合、コードは乱雑になります\(`run`を必要とする`foo`突然変異+`runTask1`の復帰から推論できないため注釈を明示的に必要とすることに注意してください\) ：
+しかし、最初のタスクから2番目のタスクに物事を渡す必要がある場合、コードは乱雑になります。\(`foo`のミューテションに`let` が必要になる + 明示的に型をアノテートしなければならなくなることに注意してください。これは、`runTask1`の戻り値から型を推測できないためです\) ：
 
 ```typescript
 let foo: number; // Notice use of `let` and explicit type annotation
@@ -168,4 +168,3 @@ function validate(value: number): {error?: string} {
 そして今、型システムで表現されています。
 
 > 非常に一般的な\(シンプル/キャッチオールなど\)の方法でエラーを処理しない限り、エラーをスローしないでください。
-