∀と∃の区別が付いてないのが居るな