x
∀
y