Applying the reachability paradigm also delivered nonlinear and sufficient conditions for the control and robustness of the containment of HIV infection by the HIV-specific CD8+ T-cell response and antiretroviral treatment in [27,29]. Here, CD8A is linked to HIV infectious disease.