CD4 and HIV-1 infection: Like current experimental approaches, our modeling study fails to provide direct evidence that CD8+ T cells control HIV-1 infection by the killing of infected CD4+ T cells.