図と言葉でゆっくり解説をと思いましたが、１０２枚ある図のうち、３０枚くらいまでの説明で５７分かかってしまい、あきらめました。ここでは分岐がどこで起き、その結果としてどんな矛盾が生じるかだけを時間と容量内で説明しました。
http://www.nicovideo.jp/watch/sm15315698
