∀∃:

For All, There Exists