>>915
全然違う

＞「先手の情報が全公開されてないなら　∀x.∃y.P(x,y)　を　∃y.∀x.P(x,t)　に書き換えられる」
勝手に捏造しないでくれます？