∀ A   ∃ P   ∀ B   B ∈ P ⇔ ∀ C   C ∈ B ⇒ C ∈ A