To test this, we first examined the effect of butyrate on CDI in mice lacking HIF-1α in cells expressing RORγt (Hif-1αΔRorc), which include ILC3s and T cells (Fig. S8b). The gene discussed is HIF1A; the disease is clostridium difficile infection.