>>512
先手が数を箱にいれる問題にたいして、最初に∀がついてるほうの論理式が証明できたから必勝だって主張したらおかしいでしょって書いたんだけど