>>447
∀∃の順はそれでいいのですか?