CCR5 and immunodeficiency disease: In this more general setting, we rigorously show how the R5 to X4 switch occurs and find that CCR5 blockers often do accelerate X4's emergence and attendant immunodeficiency.