∀
axle
∃
axle
√
axle