Here , we present the mathematical modeling used to inform the design and monitoring of a new trial aiming to test whether widespread provision of ART is feasible and can substantially reduce population-level HIV incidence .