The immune system is a highly diverse, complex system and any mathematical model must make simplifying assumptions. The result we present here is robust to any refinements that maintain the core processes drawn in Fig 4. Should the average time that any infected cell spends within the drug sanctuaries be shorter than the average time required for infection of one other uninfected cell, continuous rounds of infection in drug sanctuaries are not sustainable.