∀∃∅∧∞ [+] <<--