>>69
ごめん、「xは一意に決まっている」の意味がよくわからない
Pがxを判定している途中に、xが外部の影響か何かを受けて
変化することがあるかどうかってこと？
さすがにそんな可能性は考えてなかったな

>>70
後付けだと感じたなら申し訳なかったが、「判定」できると言って
いるのに「どちらかわからない」なんて答えは普通想定しないかと