∀∃∅∧∞