Infection is assumed to occur at the end of the time step so that the expression, γTtexp(-Tt+Tt*K-β1Vt), gives the number of CD4+ T cells that survive infection per time step. This evidence concerns the gene CD4 and infection.