∀
∅
∃
∞