>>545
そう思うなら使わずにまともな定式化をしてよ
∀を内側に書く方法がないでしょ