$$\forall <!--\; \forall \; -->A\exists <!--\; \exists \; -->P\forall <!--\; \forall \; -->B\left[B\in <!--\; \in \; -->P⟺<!--\; ⟺\; -->\forall <!--\; \forall \; -->C\left(C\in <!--\; \in \; -->B\Rightarrow <!--\; \Rightarrow \; -->C\in <!--\; \in \; -->A\right)\right]$$