Contrary to the T cell lymphopenia observed in peripheral lymphoid organs (see Figs. 1D and EV1B), conventional TCRβ+CD4+ and TCRβ+CD8β+ IEL cells, as well as TCRγδ + IEL populations, were significantly increased in Ripk1ΔCD4 mice (Fig. 3B). This evidence concerns the gene CD4 and lymphopenia.