“…For these solutions we can assume the presence of seven main aqueous species in solution: H + , OH − , K + , KOH (aq) , HAlO 2(aq) , AlO 2 − , and KAlO 2(aq) . The density model can be used to derive equilibrium constants from SUPCRT92 and Ho and Palmer (1997) at 700 °C, 10 kbar, for the following equilibria: (Wohlers and Manning 2009). Using these equilibrium constants, the logK for Equation (8) (Marshall and Franck 1981), the constraint of electrical neutrality, one of the ion-activity models, and known [K] total , the solubility of corundum in H 2 O and aqueous KOH solutions can be computed independent of the experiments by iterative solution of the resulting system of equations.…”