text_1: ART substantially reduces infectiveness of HIV-positive people.
text_2: METHODS AND FINDINGS We developed nine structurally different mathematical models of the South African HIV epidemic in a stepwise approach of increasing complexity and realism.