CD4 and colitis: These mice produce no mature T cells or B cells and develop colitis upon transfer of Treg cell-depleted CD4+Foxp3−CD25−CD45RBhigh Tcon cells (WT-Tcon only; Figure 5B).