Bayer: bauxite is digested in hot NaOH to sodium aluminate, from which pure Al2O3 is precipitated. Hall–Héroult: Al2O3 is dissolved in molten cryolite (Na3AlF6) at ~950 °C and electrolyzed; Al collects at the carbon cathode and CO2 comes off the anode.