While mice deficient in either Gpx1 or Gpx2 appear phenotypically normal, double-knockout models exhibit symptoms and mucosal inflammation in the ileum and colon, accompanied by elevated levels of lipid hydroperoxides detectable in the colonic mucosa, features consistent with IBD pathology [172]. The gene discussed is GPX1; the disease is irritable bowel syndrome.