User:Expensivehat/AC2

$$ \forall x \exists (f \colon x\to \cup x) \forall y\in x \left(y \neq \varnothing \Rightarrow  f(y) \in y\right) $$

Alright JerkFace how's this:

$$ \forall x (\forall y (y \in x \Rightarrow y \neq \varnothing)) \Rightarrow \exists (f \colon x\to \cup x) \forall y\in x \left(f(y) \in y\right) $$

nghh..

$$ \forall x (\forall y (y \in x \Rightarrow y \neq \varnothing)) \Rightarrow \exists (f \colon x\to \cup x) \forall z (z\in x \Rightarrow f(z) \in z) $$

..

$$ \forall x\quad \forall y (y \in x \Rightarrow y \neq \varnothing) \Rightarrow \exists (f \colon x\to \cup x) \forall z (z\in x \Rightarrow f(z) \in z) $$