>>372
∃x∀y>>¬(y∈x)