if your axioms support multiplication you’ll get division out of them for free*
*certain terms and conditions may apply. Limited availability in some structures, North Korea, and Iran. Known to the state of California to cause cancer or reproductive toxicity
Yeah I should maybe just have written