:=
RuleBuilder
∀
axle
∃
axle
√
axle