CD4 and infection: Our study shows that in many cases, after fitting to the same HIV prevalence, assumptions about HIV disease progression during and post-ART interruption do not substantially influence the predicted impact of expanding ART coverage on HIV infections averted (up to 7 percentage point difference in the fraction of infections averted in most scenarios), except when ART dropouts reinitiate ART only at low CD4 counts (representing re-initiation due to symptoms), where substantial differences were seen.