「ただし」以降は結構考えた末にこうなったけどまだ考慮漏れがあるかもしれない。「γ=αとなるときエラー」が「投げられるはずがない例外をキャッチしてはいけない」に対応している。場合わけは不要だった。仕様書よりもずっといい感じだ。型(「こういう例外を投げうる」)が求まる。節にはこうして求まった型と同じかそれより大きい型を書かなければならない。メソッド本体の型)」という言い方で述べることができるようになった。節に書いていい型の範囲はわかった。型がオーバーライドされるメソッドの型より小さいとき、どちらを選択する(まあ中間という選択肢はないだろうから)のが慣習として好ましいのだろう。