In fact, first-principles defect theory allows one to compute defect incorporation at growth temperature Tg (where dopant solubility and ionization are calculated) and then evaluate carrier density at ...