During reaction network construction, we consider two free energies for each specie: one uncorrected, and one solventcorrected. The uncorrected free energy is taken directly from LIBE. For the solvent-corrected free energy, we count the total number of coordinate bonds to all Li + ions (see the Supplementary Information for a description of the method for deducing metal coordination) and compare this to the maximum expected number of coordinate bonds (assuming that each Li + would prefer to be coordinated by four neighbors). If any Li + are undercoordinated, then the free energy is lowered by 0.68 eV for each "missing" coordinate bond. When calculating redox free energies, the uncorrected free energy is used; otherwise, the corrected free energy is used (see the Supplementary Information).