∃と∀を区別出来ないひとはプログラミングするべきじゃないね