THY1 and infection: To quantify the effect of migration of circulating T cells to the lung during the memory contraction phase, we performed a cell transfer experiment using CD90 congenic mice (S5 Fig and S1 Text Sect A), which suggested that such ingress contributes minimally to the population dynamics after the infection is cleared.