∀xiom