Our model simulations strongly support this result, showing that across much of parameter space, employing CCR5 inhibitors together with HAART lengthens the time to AIDS when compared with the time to AIDS under HAART alone (Figure S3). Here, CCR5 is linked to AIDS.