>>354 >∀が先頭にあるってことは全部開ける許可を与えてることだろ
>>364 >先頭に∀がついてる定式化で議論しても時間のムダ
>>366 >先頭に∀ついてる時点でゴミ

全部誤解
アヘン喫ってる？

∀ｘ∃ｙで言ってることは、
先手（出題者）がどんな手ｘを売っても
後手（回答者）が（ｘに合わせて）手ｙを打つことができ
箱入り無数目では、たかだか１つを除いて成功するってこと

逆に
∃ｘ∀ｙでいえるのは
先手（出題者）が手ｘを打ったら
後手（回答者）がどんな手を打っても
箱入り無数目では、ほとんど全て失敗するってことだが
残念ながら、そんな手はない