To investigate predictive markers of TNFα-independent UC in a spontaneous and progressive colitis model, we crossed Winnie mice with TNFα KO (commercial line 5540) to create double KO mice (TNFα KO Winnie). The gene discussed is TNF; the disease is colitis.