これに対する反論にあまりきちんと対処できていませんでした。考えるほうが自然だと言われました。なった後に置かれるべきであるということでしょう。考えなくてはならなくなります。なるのが同時であるという類の追加規則を仮定する必要があります。矛盾のない体系に、あらたな仮定を追加することによって矛盾を引き起こしていますよ。追い越したという自然な解釈を採用すればすべて解決するのに、それをしていない点。追い越すケースが存在するという例外規則を必要としている点。その例外規則だけではハンドリングしきれないケースが存在する点。なる筈だという暗黙の規則を、どこからともなく持ち出している。3番目がクリティカルなんじゃないかと思うのですが。これは、命令列をちょっと変更すると明らかになります。いう結果は得られるはずです。実システムにおけるどのような処理に相当するのかは自明ではありません。反しない限り、どのようにインプリしてもかまわない)述べるべきだった事柄は、だいたい以上の通りなのではないかと思います。これはとても不誠実な態度だったと反省しています。瞬間に「あ、いまだ」と観測されるわけではありません。け取ったか)を通じて、順序が観測されるのです。余計な、関係の無い話だったと言えます。→修正:普通にただしいことを書いているよな。