We found that HIF-1α was increased in HIF-2α-KO Treg cells re-isolated from RAG-1-KO mice with colitis (Fig. 5a). The gene discussed is EPAS1; the disease is colitis.