In many studies utilizing DFT calculations to investigate defect formation energies in semiconductors (such as PhysRevLett.67.2339), thermodynamic transition level diagrams are frequently presented. I understand these transition levels represent the energy points where two charge states of the sa...