>>732
∀や∃は使っていいのか?