Thus, Gpx1/2-DKO mice may represent an extreme case of oxidative stress-associated intestinal inflammation useful for understanding how oxidative stress affects IBD. The gene discussed is GPX1; the disease is inflammatory bowel disease.