BATF and colitis: We then established Batf−/−Rag1−/− mice via crossing Batf−/− mice with Rag1+/− mice, followed by DSS treatment for colitis induction.