TNFRSF1A and colitis: To this end, mouse strains with genetic ablation of TNFR1 or TNFR2 have been extensively studied in different mouse colitis models.