TRIP13 and colitis: Our results showed that TRIP13 deletion in DCs had no remarkable effect on Treg proliferation or colitis development (Fig. S4A–K).