Various forms of nef genes with deletions at conserved positions along the sequence have been reported to persist in human immunode¢ciency virus type 1 infected patients. We investigate the forces maintaining such variants in the proviral population. The main selection pressures are preservation of function and host immune response. The crippled Nef protein might have fewer epitopes, and as such be less visible to the speci¢c immune response, but it will lose some function. Does a trade-o¡ between avoidance of the immune response and loss of function explain the dynamics of the crippled virus found in the patients ? To answer this question, we formulated a deterministic model of the virus^host interactions. We found that when the crippled protein presents few epitopes and su¡ers little loss of function, the two viral types can coexist. Otherwise, the wild-type comes to prevail. The mutant form might initially dominate, but as the selective pressure by the CD8+ T cells decreases over the course of infection, the advantage for the crippled form of losing epitopes disappears. Hence, we go from a situation of coexistence of wild-type and mutant, to a situation of only full-length nef. The results are discussed in the context of the suggested use of live attenuated vaccines having deletions in nef.