Spodumene, the ore with the formula LiAl(SiO3)2, is most frequently used for lithium isolation. The alpha form of the ore is heated to 2012 °F into the soft beta ore form. Heated sulphuric acid is mixed with the beta ore, extracted through water, and the end result is a solution of lithium sulphate. Sodium carbonate is used to wash the solution and form a precipitate of insoluble lithium carbonate. The precipitate is reacted with two parts of hydrochloric acid to yield two parts of lithium chloride, carbon dioxide, and water. The lithium chloride, which has a melting point of greater than 1112 °F, is mixed with potassium chloride to decrease the melting point required for the final electrolysis step to around 806 °F; decreasing the melting point means that less energy is required for the electrolysis process. The electrolysis step separates the positive cathode lithium from the negative anode chloride to yield pure lithium.