HIF1A and colitis: In contrast, Von Hippel-Lindau (VHL)-deficient (i.e. Hif1α-stabilized) Treg cells favor Th1 differentiation over Treg differentiation, resulting in colitis development in adoptive T cell transfer model (40) (Figure 3A).