∀∃∅∧∞ [+]