いろいろなタイプの境界例についてかなりわかりやすく書いていると思います。