x∀y